1. A beginner's guide to Scala, object orientation and functional programming /
پدیدآورنده : John Hunt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Functional programming (Computer science),Object-oriented programming (Computer science),Scala (Computer program language),Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers)
رده :
QA76
.
7
2. Complete guide to test automation :
پدیدآورنده : Arnon Axelrod.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Testing.,COMPUTER SCIENCE-- General.,Computer software-- Testing.,Programming & scripting languages: general.
رده :
QA76
.
76
.
T48
3. Formal aspects of component software :
پدیدآورنده : Kyungmin Bae, Peter Csaba Ölveczky (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
4. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
5. Groovy Programming.
پدیدآورنده : Kenneth Barclay
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Java (Computer program language)
رده :
QA76
.
73
.
J38
K466
2010
6. Guide to scientific computing in C++ /
پدیدآورنده : Joe Pitt-Francis, Jonathan Whiteley.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : C++ (Computer program language),Science-- Data processing.,C++ (Computer program language),Computer modelling & simulation.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Data Processing.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Maths for computer scientists.,Programming & scripting languages: general.,Science-- Data processing.,Software Engineering.
رده :
QA76
.
73
.
C153
7. Leveraging applications of formal methods, verification and validation :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
رده :
QA76
.
9
.
F67
8. Pro Android with Kotlin :
پدیدآورنده : Peter Späth.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Android (Electronic resource),Android (Electronic resource),Application software-- Development.,Mobile apps.,Application software-- Development.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Mobile & handheld device programming-- Apps programming.,Mobile apps.,Programming & scripting languages: general.,WAP (wireless) technology.
رده :
QA76
.
59
.
S63
2018
9. Product-focused software process improvement :
پدیدآورنده : Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki, Marcus Ciolkowski, Regina Hebig, Paolo Tell, Jil Klünder, Steffen Küpper (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development-- Management, Congresses.,Computer software-- Development, Congresses.,Software engineering, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer programming-- software development.,Computer software-- Development-- Management.,Computer software-- Development.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers-- Systems Architecture-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
758
.
P76
2018eb
10. Runtime verification :
پدیدآورنده : Christian Colombo, Martin Leucker (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
